Scalable Static Analysis Framework โ hardening large C++ codebases (LLVM/Apple)
๐Static Linking
Flag this post
Building Up And Sanding Down
endler.devยท20h
๐ฉSystems Programming
Flag this post
Ajla Tutorial
๐งLiquid Types
Flag this post
Down with template (or not)!
cedardb.comยท20h
๐ฏGradual Typing
Flag this post
Registry Analysis
๐NTLM Archaeology
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.comยท20h
๐Decompilation
Flag this post
Stop Writing Code, Start Writing Docs
thenewstack.ioยท49m
โ๏ธTLA+
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.orgยท16h
๐งฎAlgebraic Archives
Flag this post
Types of Metadata Schemas
๐ท๏ธMetadata Standards
Flag this post
Java Generics and Collections โข Maurice Naftalin & Stuart Marks โข GOTO 2025
youtube.comยท1d
ฮปLambda Formalization
Flag this post
Finding Order in the Mayhem: A Novel Concurrency Testing Tool that Improved the Kotlin Compiler
โจEffect Handlers
Flag this post
โSlop Codingโ and Responsible Testers
satisfice.comยท18h
๐Fuzzing
Flag this post
consult + org-db-v3: Approximate search of my sketches using text, and a multi-source consult command for approximately searching sketches and blog posts
sachachua.comยท1d
๐PostScript
Flag this post
Issue 496
haskellweekly.newsยท1d
๐Functional Compilers
Flag this post
Clean Code: Functions and Error Handling in Go: From Chaos to Clarity [Part 1]
hackernoon.comยท13h
โ
Format Verification
Flag this post
Evaluating YARA Rules for macOS Malware Hunting in Spectra Analyze
reversinglabs.comยท1d
๐ฆ Malware Analysis
Flag this post
Vibe coding needs a spec, too
stackoverflow.blogยท12h
๐Interface Evolution
Flag this post
Loading...Loading more...